This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Lee masThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lee masThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lee masThis is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Lee masGenetic Programming Theory and Practice V was developed from the fifth workshop at the University of Michigan’s Center ...
Lee masThis book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...
Lee masIntroduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...
Lee masHeterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically ...
Lee masThis book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
Lee masThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance ...
Lee masThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee masThis book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008, held ...
Lee masThis volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...
Lee masHypercomputation is a relatively new theory of computation which treats computing methods and devices that transcend the ...
Lee masThe 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Lee masThis book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
Lee masThis book constitutes the refereed proceedings of the 4th International Workshop on Internet and Network Economics, WINE ...
Lee masThe Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...
Lee masThis book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
Lee masThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas